Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

410 410 3384 0 0 0 0 0 0

N.S.

1 1.00 8.25 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.281 4.077 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 767 344 1966 295 712 198 474

N.S.

1 1.00 5.44 2.44 13.94 2.09 5.05 1.40 3.36

time (sec)

N/A 0.075 0.497 0.902 0.295 0.302 5.086 0.456 2.856

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 296 444 483 848 373 892 371 507

N.S.

1 1.00 1.50 1.63 2.86 1.26 3.01 1.25 1.71

time (sec)

N/A 0.101 0.227 0.973 0.228 0.305 2.210 0.438 2.881

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

375 375 290 769 2116 545 1488 672 984

N.S.

1 1.00 0.77 2.05 5.64 1.45 3.97 1.79 2.62

time (sec)

N/A 0.290 0.466 1.368 0.337 0.302 4.201 0.470 4.861

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

525 525 453 1080 4188 1008 0 0 1505

N.S.

1 1.00 0.86 2.06 7.98 1.92 0.00 0.00 2.87

time (sec)

N/A 0.329 0.665 2.782 0.499 0.339 0.000 0.000 7.474

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

685 685 611 1396 5583 1517 0 0 2155

N.S.

1 1.00 0.89 2.04 8.15 2.21 0.00 0.00 3.15

time (sec)

N/A 0.336 0.877 2.337 0.545 0.409 0.000 0.000 11.142

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

851 851 793 1708 9282 2257 0 0 3550

N.S.

1 1.00 0.93 2.01 10.91 2.65 0.00 0.00 4.17

time (sec)

N/A 0.408 1.281 7.752 1.084 0.437 0.000 0.000 15.415

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 269 1195 1118 720 0 3945 1237

N.S.

1 1.00 1.21 5.36 5.01 3.23 0.00 17.69 5.55

time (sec)

N/A 0.124 0.161 11.437 0.217 0.476 0.000 1.234 2.406

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 190 225 876 740 529 1013 2571 663

N.S.

1 1.00 1.18 4.61 3.89 2.78 5.33 13.53 3.49

time (sec)

N/A 0.107 0.121 5.002 0.207 0.427 84.025 1.317 1.813

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 149 189 507 393 309 643 1276 295

N.S.

1 1.00 1.27 3.40 2.64 2.07 4.32 8.56 1.98

time (sec)

N/A 0.074 0.182 1.716 0.197 0.368 19.632 0.659 1.533

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 74 250 156 162 382 580 134

N.S.

1 1.00 0.86 2.91 1.81 1.88 4.44 6.74 1.56

time (sec)

N/A 0.036 0.014 0.685 0.195 0.354 5.086 0.462 1.290

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

141 141 172 0 276 0 0 0 0

N.S.

1 1.00 1.22 0.00 1.96 0.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.084 0.000 0.482 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 150 189 0 0 0 0 0 0

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.138 0.102 0.000 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 216 237 582 250 1360 100 204

N.S.

1 1.00 2.43 2.66 6.54 2.81 15.28 1.12 2.29

time (sec)

N/A 0.051 0.103 5.162 0.204 0.372 80.892 0.784 1.984

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 196 455 945 478 0 234 374

N.S.

1 1.00 1.08 2.51 5.22 2.64 0.00 1.29 2.07

time (sec)

N/A 0.097 0.278 10.203 0.217 0.381 0.000 1.077 2.117

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 281 220 986 1398 773 0 394 610

N.S.

1 1.00 0.78 3.51 4.98 2.75 0.00 1.40 2.17

time (sec)

N/A 0.154 0.322 27.713 0.247 0.346 0.000 1.363 2.435

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

442 442 441 1761 1978 1074 0 5133 2555

N.S.

1 1.00 1.00 3.98 4.48 2.43 0.00 11.61 5.78

time (sec)

N/A 0.313 0.256 24.523 0.240 0.598 0.000 1.803 2.807

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

352 352 374 1274 1336 774 0 3352 1328

N.S.

1 1.00 1.06 3.62 3.80 2.20 0.00 9.52 3.77

time (sec)

N/A 0.225 0.180 11.129 0.227 0.445 0.000 1.271 2.106

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 250 224 837 740 530 1054 1997 661

N.S.

1 1.00 0.90 3.35 2.96 2.12 4.22 7.99 2.64

time (sec)

N/A 0.143 0.129 4.756 0.204 0.397 83.821 1.003 1.784

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 101 463 309 297 656 990 303

N.S.

1 1.00 0.81 3.73 2.49 2.40 5.29 7.98 2.44

time (sec)

N/A 0.052 0.019 1.958 0.196 0.338 18.637 0.647 1.401

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

289 289 264 0 580 0 0 0 0

N.S.

1 1.00 0.91 0.00 2.01 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.130 0.000 0.487 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 259 233 0 1190 0 0 0 0

N.S.

1 1.00 0.90 0.00 4.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.141 0.000 0.467 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 242 258 0 0 0 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 0.198 0.000 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 329 376 1544 409 0 108 421

N.S.

1 1.00 3.54 4.04 16.60 4.40 0.00 1.16 4.53

time (sec)

N/A 0.071 0.192 9.999 0.250 0.327 0.000 1.554 2.226

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 474 855 2247 710 0 250 652

N.S.

1 1.00 2.51 4.52 11.89 3.76 0.00 1.32 3.45

time (sec)

N/A 0.106 0.258 27.074 0.302 0.370 0.000 1.978 2.683

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 357 1049 3058 1087 0 418 954

N.S.

1 1.00 1.22 3.58 10.44 3.71 0.00 1.43 3.26

time (sec)

N/A 0.145 0.560 57.556 0.351 0.369 0.000 2.578 3.365

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

477 477 631 2179 2901 1336 0 5934 4476

N.S.

1 1.00 1.32 4.57 6.08 2.80 0.00 12.44 9.38

time (sec)

N/A 0.311 0.369 50.102 0.278 0.929 0.000 2.503 3.060

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

387 387 441 1721 1978 1075 0 4300 2547

N.S.

1 1.00 1.14 4.45 5.11 2.78 0.00 11.11 6.58

time (sec)

N/A 0.270 0.223 25.411 0.251 0.664 0.000 1.781 2.835

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 283 269 1119 1118 721 0 2584 1234

N.S.

1 1.00 0.95 3.95 3.95 2.55 0.00 9.13 4.36

time (sec)

N/A 0.174 0.142 11.618 0.227 0.448 0.000 1.179 2.328

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 124 652 479 429 945 1402 588

N.S.

1 1.00 0.79 4.18 3.07 2.75 6.06 8.99 3.77

time (sec)

N/A 0.066 0.029 4.810 0.207 0.378 78.682 0.801 1.552

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

373 373 368 0 935 0 0 0 0

N.S.

1 1.00 0.99 0.00 2.51 0.00 0.00 0.00 0.00

time (sec)

N/A 0.344 0.182 0.000 0.499 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

390 390 394 0 1785 0 0 0 0

N.S.

1 1.00 1.01 0.00 4.58 0.00 0.00 0.00 0.00

time (sec)

N/A 0.282 0.240 0.000 0.496 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

361 361 331 0 2746 0 0 0 0

N.S.

1 1.00 0.92 0.00 7.61 0.00 0.00 0.00 0.00

time (sec)

N/A 0.272 0.230 0.000 0.573 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

326 326 326 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.295 0.254 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

269 269 370 0 1003 0 0 3832 0

N.S.

1 1.00 1.38 0.00 3.73 0.00 0.00 14.25 0.00

time (sec)

N/A 0.253 0.182 0.000 0.494 0.000 0.000 189.494 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 211 266 0 627 0 0 2499 0

N.S.

1 1.00 1.26 0.00 2.97 0.00 0.00 11.84 0.00

time (sec)

N/A 0.177 0.121 0.000 0.500 0.000 0.000 130.459 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

134 134 170 0 306 0 0 1242 0

N.S.

1 1.00 1.27 0.00 2.28 0.00 0.00 9.27 0.00

time (sec)

N/A 0.100 0.079 0.000 0.509 0.000 0.000 78.291 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 101 0 0 0 0 566 0

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 7.08 0.00

time (sec)

N/A 0.148 0.025 0.000 0.000 0.000 0.000 54.287 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 219 84 175 74 0 92 76

N.S.

1 1.00 4.38 1.68 3.50 1.48 0.00 1.84 1.52

time (sec)

N/A 0.080 0.074 1.456 0.203 0.317 0.000 0.426 2.428

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 304 269 427 194 0 0 239

N.S.

1 1.00 1.68 1.49 2.36 1.07 0.00 0.00 1.32

time (sec)

N/A 0.114 0.169 4.793 0.216 0.310 0.000 0.000 2.798

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 434 628 888 483 0 104 573

N.S.

1 1.00 1.63 2.36 3.34 1.82 0.00 0.39 2.15

time (sec)

N/A 0.154 0.216 11.918 0.252 0.312 0.000 104.068 3.080

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

389 389 518 1072 1472 859 0 232 986

N.S.

1 1.00 1.33 2.76 3.78 2.21 0.00 0.60 2.53

time (sec)

N/A 0.208 0.383 25.467 0.290 0.393 0.000 139.847 3.893

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

359 359 375 0 1892 0 0 3072 0

N.S.

1 1.00 1.04 0.00 5.27 0.00 0.00 8.56 0.00

time (sec)

N/A 0.304 0.249 0.000 0.490 0.000 0.000 295.165 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

275 275 252 0 1273 0 0 1898 0

N.S.

1 1.00 0.92 0.00 4.63 0.00 0.00 6.90 0.00

time (sec)

N/A 0.220 0.144 0.000 0.485 0.000 0.000 221.565 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) B F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

168 168 183 0 0 0 0 906 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 5.39 0.00

time (sec)

N/A 0.116 0.113 0.000 0.000 0.000 0.000 142.033 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

102 102 114 81 136 105 444 91 113

N.S.

1 1.00 1.12 0.79 1.33 1.03 4.35 0.89 1.11

time (sec)

N/A 0.031 0.031 2.079 0.187 0.305 11.438 0.557 1.437

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 304 269 424 196 0 208 241

N.S.

1 1.00 1.83 1.62 2.55 1.18 0.00 1.25 1.45

time (sec)

N/A 0.112 0.159 4.760 0.207 0.328 0.000 1.046 1.491

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 273 342 666 862 450 0 96 432

N.S.

1 1.00 1.25 2.44 3.16 1.65 0.00 0.35 1.58

time (sec)

N/A 0.144 0.252 9.417 0.219 0.340 0.000 106.593 2.063

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

380 380 478 977 1724 946 0 238 1016

N.S.

1 1.00 1.26 2.57 4.54 2.49 0.00 0.63 2.67

time (sec)

N/A 0.192 0.385 28.773 0.290 0.374 0.000 137.129 3.973

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

477 477 549 1910 2563 1458 0 401 1665

N.S.

1 1.00 1.15 4.00 5.37 3.06 0.00 0.84 3.49

time (sec)

N/A 0.214 0.717 44.855 0.362 0.426 0.000 180.849 6.581

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

382 382 334 0 2894 0 0 0 0

N.S.

1 1.00 0.87 0.00 7.58 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.246 0.000 0.550 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

263 263 259 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.182 0.202 0.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 215 237 578 250 1328 101 205

N.S.

1 1.00 2.42 2.66 6.49 2.81 14.92 1.13 2.30

time (sec)

N/A 0.045 0.102 4.635 0.198 0.318 111.169 0.804 1.930

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 115 272 259 266 2103 207 221

N.S.

1 1.00 0.76 1.80 1.72 1.76 13.93 1.37 1.46

time (sec)

N/A 0.075 0.075 4.592 0.196 0.338 108.219 0.770 1.570

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 434 628 888 487 0 418 573

N.S.

1 1.00 1.71 2.47 3.50 1.92 0.00 1.65 2.26

time (sec)

N/A 0.137 0.211 11.281 0.232 0.333 0.000 1.516 3.368

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

381 381 477 962 1724 949 0 0 1018

N.S.

1 1.00 1.25 2.52 4.52 2.49 0.00 0.00 2.67

time (sec)

N/A 0.170 0.386 28.546 0.300 0.377 0.000 0.000 4.070

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

483 483 561 1450 2383 1416 0 0 1341

N.S.

1 1.00 1.16 3.00 4.93 2.93 0.00 0.00 2.78

time (sec)

N/A 0.236 0.683 53.995 0.328 0.433 0.000 0.000 4.597

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

587 587 671 2149 3819 2181 0 0 2400

N.S.

1 1.00 1.14 3.66 6.51 3.72 0.00 0.00 4.09

time (sec)

N/A 0.246 0.909 206.922 0.528 0.461 0.000 0.000 7.382

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

584 584 949 0 3764 0 0 0 0

N.S.

1 1.00 1.62 0.00 6.45 0.00 0.00 0.00 0.00

time (sec)

N/A 0.509 0.470 0.000 0.752 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

487 487 716 0 2691 0 0 0 0

N.S.

1 1.00 1.47 0.00 5.53 0.00 0.00 0.00 0.00

time (sec)

N/A 0.387 0.339 0.000 0.726 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

372 372 937 0 1542 0 0 0 0

N.S.

1 1.00 2.52 0.00 4.15 0.00 0.00 0.00 0.00

time (sec)

N/A 0.246 0.440 0.000 0.710 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 220 216 0 825 0 0 0 0

N.S.

1 1.00 0.98 0.00 3.75 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 0.075 0.000 0.692 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

306 306 1372 0 0 0 0 0 0

N.S.

1 1.00 4.48 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.588 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

261 261 1564 0 0 0 0 0 0

N.S.

1 1.00 5.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.233 1.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 801 530 2017 600 0 195 561

N.S.

1 1.00 5.30 3.51 13.36 3.97 0.00 1.29 3.72

time (sec)

N/A 0.087 0.502 4.830 0.315 0.345 0.000 1.705 3.313

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

307 307 1082 1099 3312 1167 0 501 993

N.S.

1 1.00 3.52 3.58 10.79 3.80 0.00 1.63 3.23

time (sec)

N/A 0.182 0.631 10.491 0.407 0.401 0.000 2.306 4.264

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

475 475 1319 2197 4838 1868 0 871 1794

N.S.

1 1.00 2.78 4.63 10.19 3.93 0.00 1.83 3.78

time (sec)

N/A 0.277 0.709 28.621 0.542 0.416 0.000 3.065 6.355

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

766 766 1634 0 5952 0 0 0 0

N.S.

1 1.00 2.13 0.00 7.77 0.00 0.00 0.00 0.00

time (sec)

N/A 0.732 0.837 0.000 0.824 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

819 819 1254 0 4247 0 0 0 0

N.S.

1 1.00 1.53 0.00 5.19 0.00 0.00 0.00 0.00

time (sec)

N/A 0.682 0.595 0.000 0.782 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

635 635 713 0 2662 0 0 0 0

N.S.

1 1.00 1.12 0.00 4.19 0.00 0.00 0.00 0.00

time (sec)

N/A 0.429 0.365 0.000 0.737 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

361 361 303 0 1473 0 0 0 0

N.S.

1 1.00 0.84 0.00 4.08 0.00 0.00 0.00 0.00

time (sec)

N/A 0.265 0.073 0.000 0.718 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

572 572 2852 0 0 0 0 0 0

N.S.

1 1.00 4.99 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.503 2.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

472 472 2885 0 0 0 0 0 0

N.S.

1 1.00 6.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.386 2.779 0.000 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

417 417 3662 0 0 0 0 0 0

N.S.

1 1.00 8.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.382 4.478 0.000 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 1418 825 5588 975 0 216 1195

N.S.

1 1.00 9.03 5.25 35.59 6.21 0.00 1.38 7.61

time (sec)

N/A 0.119 1.184 9.980 0.517 0.346 0.000 3.773 3.734

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

319 319 1787 1884 8087 1729 0 541 1934

N.S.

1 1.00 5.60 5.91 25.35 5.42 0.00 1.70 6.06

time (sec)

N/A 0.212 1.625 27.470 0.727 0.384 0.000 4.546 5.310

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

493 493 2112 2528 10936 2633 0 931 3296

N.S.

1 1.00 4.28 5.13 22.18 5.34 0.00 1.89 6.69

time (sec)

N/A 0.293 1.798 56.947 1.021 0.470 0.000 6.304 7.852

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1172 1172 2448 0 7845 0 0 0 0

N.S.

1 1.00 2.09 0.00 6.69 0.00 0.00 0.00 0.00

time (sec)

N/A 1.061 1.847 0.000 0.833 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

976 976 1627 0 5931 0 0 0 0

N.S.

1 1.00 1.67 0.00 6.08 0.00 0.00 0.00 0.00

time (sec)

N/A 0.903 0.837 0.000 0.784 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

786 786 945 0 3724 0 0 0 0

N.S.

1 1.00 1.20 0.00 4.74 0.00 0.00 0.00 0.00

time (sec)

N/A 0.593 0.441 0.000 0.764 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

454 454 409 0 2129 0 0 0 0

N.S.

1 1.00 0.90 0.00 4.69 0.00 0.00 0.00 0.00

time (sec)

N/A 0.350 0.121 0.000 0.725 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

762 762 4969 0 0 0 0 0 0

N.S.

1 1.00 6.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.762 7.267 0.000 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

739 739 4818 0 0 0 0 0 0

N.S.

1 1.00 6.52 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 6.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

644 644 6938 0 0 0 0 0 0

N.S.

1 1.00 10.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.451 6.860 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

561 561 8570 0 0 0 0 0 0

N.S.

1 1.00 15.28 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.498 7.503 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

768 768 1072 0 0 0 0 0 0

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.701 1.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

573 573 763 0 0 0 0 0 0

N.S.

1 1.00 1.33 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.437 0.813 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

303 303 1385 0 0 0 0 0 0

N.S.

1 1.00 4.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.234 0.556 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 137 268 0 0 0 0 0 0

N.S.

1 1.00 1.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.081 0.522 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 90 118 407 149 0 167 122

N.S.

1 1.00 1.80 2.36 8.14 2.98 0.00 3.34 2.44

time (sec)

N/A 0.106 0.166 1.438 0.219 0.319 0.000 0.552 2.600

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

199 199 793 509 1018 428 0 0 361

N.S.

1 1.00 3.98 2.56 5.12 2.15 0.00 0.00 1.81

time (sec)

N/A 0.194 0.449 4.862 0.266 0.338 0.000 0.000 2.554

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 975 1259 2126 1068 0 196 1011

N.S.

1 1.00 2.64 3.41 5.76 2.89 0.00 0.53 2.74

time (sec)

N/A 0.276 0.767 11.703 0.337 0.349 0.000 277.816 5.248

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

543 543 1295 2216 3445 1910 0 0 1921

N.S.

1 1.00 2.38 4.08 6.34 3.52 0.00 0.00 3.54

time (sec)

N/A 0.332 1.001 25.753 0.462 0.416 0.000 0.000 7.198

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

770 770 5850 0 0 0 0 0 0

N.S.

1 1.00 7.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.503 6.978 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

500 500 2859 0 0 0 0 0 0

N.S.

1 1.00 5.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.344 3.969 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 282 1570 0 0 0 0 0 0

N.S.

1 1.00 5.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.190 1.010 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 163 331 294 428 263 0 175 237

N.S.

1 1.00 2.03 1.80 2.63 1.61 0.00 1.07 1.45

time (sec)

N/A 0.054 0.235 2.163 0.205 0.326 0.000 0.994 1.988

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 789 509 1014 432 0 368 365

N.S.

1 1.00 3.42 2.20 4.39 1.87 0.00 1.59 1.58

time (sec)

N/A 0.169 0.403 5.056 0.265 0.361 0.000 0.900 1.956

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 392 870 1307 2006 983 0 185 0

N.S.

1 1.00 2.22 3.33 5.12 2.51 0.00 0.47 0.00

time (sec)

N/A 0.258 0.617 9.718 0.309 0.380 0.000 285.296 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

560 560 1340 2001 4198 2052 0 0 1784

N.S.

1 1.00 2.39 3.57 7.50 3.66 0.00 0.00 3.19

time (sec)

N/A 0.322 0.925 28.097 0.508 0.365 0.000 0.000 7.250